package tr.edu.ege.kipler.satisfiability.container.creational;

import tr.edu.ege.kipler.satisfiability.container.ModifiedIndividualListWcsData;
import tr.edu.ege.kipler.satisfiability.container.WorldConstraintSystem;

/**
 * 
 * @author İnanç Seylan
 *
 */
public class SHIQModifiedIndividualListWcsFactory extends WcsFactory {

	public WorldConstraintSystem createWcs() {
		WorldConstraintSystem result = new WorldConstraintSystem(WorldFactory
				.getFactory(ContainerType.SHIQ_MODIFIED_INDIVIDUAL));
		result.setData(new ModifiedIndividualListWcsData());
		return result;
	}

}
